Port the brand tokens, type stack, and component rules from the
Provekit Design System (README + colors_and_type.css) to the Starlight
docs site.

- Light is the canonical mode (brand is light-only); head script sets
  starlight-theme=light on first visit, toggle still works for users
  who switch
- Outfit (display/body) + Geist Mono (chrome) via Google Fonts;
  --sl-font / --sl-font-mono mapped so Starlight components inherit
- Brand palette: canvas #F8FEFF, surface #FFFFFF, ink #2D2D2B,
  brand #0D74FF, brand-ink #A2D0FC, lines #D1F5FF, mute #949494
- All chrome (sidebar group labels, table headers, TOC heading,
  pagination labels, asides titles, footer meta, hero CTAs) in
  Geist Mono ALL CAPS +0.02em tracking
- Square corners everywhere (cards, asides, code frames, buttons,
  dialogs); no box-shadows; borders define structure
- Asides re-skinned to brand palette (note=blue, tip=cyan,
  caution=bloom-orange, danger=bloom-pink) instead of Starlight defaults
- Code frames, search dialog, pagination, TOC, sidebar active page,
  hr / kbd / blockquote / mark, scrollbars all themed
- Selectors verified against rendered Starlight DOM; previous attempt
  targeted .sl-link-card (does not exist) and over-nested sidebar
  selectors that never matched

- v1.0.0 release wiring: install command, e2e Cargo.toml blocks,
  tutorial, starter template all pin "1.0.0"; landing banner,
  Changelog, FAQ, Project status acknowledge GitHub Releases as the
  authoritative version record
- Installation: surface cargo install provekit-cli alongside the
  source-checkout path via Starlight Tabs
- Quickstart: drop redundant prereqs, switch to plain provekit-cli
  commands with source-checkout substitution note, fix comma-splice in
  success Aside
- What is ProveKit: trim differentiator list to no-trusted-setup +
  post-quantum-secure base proof; drop When-to-use, When-not,
  You don't / You do need to know sections; replace with one "Before
  you build" pointer to the two concept pages
- Post-quantum security mentioned where it belongs: what-is,
  security-model (new Cryptographic assumptions section), FAQ (new Q),
  comparison matrix (two new rows for base + on-chain wrap)
- Swift platform scope narrowed to iOS only; macOS explicitly
  unsupported across landing, installation, swift e2e, starter-template
- Mavros removed from public docs (CLI flag still works, just not
  advertised); fixes 9 files
- Theme polish:
  - Double-line header bug fixed (scoped border to header.header)
  - Inline <code> in table cells stays on one line (no hyphen-wraps)
  - Sidebar/TOC inactive items use new --pk-ink-soft mid-tone (#5C5C5A)
    instead of pitch-black ink or unreadable mute grey
  - Asides reskinned to brand palette (note=blue, tip=cyan,
    caution=bloom-orange, danger=bloom-pink)
  - Pagination prev/next, code frame, search dialog, scrollbars, kbd,
    blockquote, hr all themed
  - Light-mode logo variant (logo-light.svg, ink #2D2D2B) replaces
    pale brand-ink on white backgrounds